-
1 primitive recursive arithmetic
Математика: примитивно рекурсивная арифметикаУниверсальный англо-русский словарь > primitive recursive arithmetic
-
2 primitive recursive arithmetic
English-Russian scientific dictionary > primitive recursive arithmetic
-
3 arithmetic
1) арифметика || арифметический2) арифметические действия, арифметические операции• -
4 number
1) число || числовой2) номер || нумеровать3) код числа4) количество5) колонцифра6) численность || считать, подсчитывать, исчислять8) числительное•a great number of — множество, большое количество
a number of — (целый) ряд, некоторое количество
- absolutely pseudoprime number - connectivity number - deficient number - edge attachment number - edge covering number - edge sensitivity number - expected sample number - general recursively irrational number - geodesic crossing number - integer number - integral number - internal stability number - international customer number - mass exchange number - mixed-radix number - Mohs hardness number - number of principal cotype - number of space dimensions - octonary number - one-digit number - one-figure number - one's complement number - rectilinear crossing number - recursively real number - serial number - Shore hardness number - strictly positive number - vertex covering numberwinding number of a curve with respect to the point — порядок кривой относительно точки (число оборотов вектора, соединяющего данную точку с точкой кривой при обходе кривой)
-
5 function
ˈfʌnŋkʃən функция, назначение - the * of education is to develop the mind образование имеет своей целью развить умственные способности - glass has an important * in modern architecture стекло занимает важное место в современной архитектуре функция, деятельность;
отправление( организма) - regular *s of the body нормальные функции организма - *s of the nerves функционирование нервной системы обыкн pl должностные обязанности, функции;
круг обязанностей - to perform one's daily *s выполнять повседневные служебные обязанности - to exercise administrative *s исполнять административные обязанности торжественная церемония;
торжество - * to be held on... торжественное собрание состоится... - to attend a great state * присутствовать на большом торжестве (разговорное) прием, вечер - quite a small * вечеринка - to see smb. at a * встретить кого-л на приеме (математика) функция - * linear * линейная функция функционировать, действовать;
работать - the telephone was not *ing телефон не работал выполнять функции, исполнять обязанности - the new official started *ing новый чиновник приступил к своим обязанностям - when the mother was ill the eldest girl had to * as both cook and housemaid когда мать была больна, старшей девочке приходилось и готовить, и убирать дом - in earlier English the present tense often *ed as the future в древнеанглийском языке настоящее время часто заменяло будущее address ~ вчт. адресная функция administrative ~ управленческая функция approximation ~ аппроксимирующая функция arithmetic ~ арифметическая функция array handling ~ вчт. функция обработки массивов as a ~ в качестве функции average sample number ~ функция среднего числа наблюдений belief ~ функция доверия blending ~ стыковочная функция Boolean ~ мат. булева функция buffer ~ согласующая функция buffer ~ функция буферного запаса built-in ~ вчт. встроенная функция built-in ~ стандартная функция bus resolution ~ вчт. функция разрешения шины circuit ~ вчт. схемная функция constraint ~ функция ограничений consumption ~ функция потребления convex ~ выпуклая функция covariance ~ функция ковариации criterion ~ оценочная функция criterion ~ целевая функция cumulative distribution ~ стат. интегральная функция распределения damped ~ затухающая функция decision ~ решающая функция degate ~ блокирующая функция demand ~ функция спроса driving ~ задающая функция dual ~ двойственная функция empiric distribution ~ эмпирическая функция распределения empiric ~ эмпирическая функция empirical distribution ~ эмпирическая функция распределения error ~ функция ошибок evaluation ~ оценочная функция exponential ~ экспоненциальная функция finance ~ финансовая служба fitled ~ эмпирическая функция fitted ~ подобранная функция fitted ~ эмпирическая функция frequency ~ плотность вероятности function разг. вечер, прием (часто public или social function) ~ действовать ~ (обыкн. pl) должностные обязанности ~ исполнять назначение ~ назначение ~ отправление (организма) ~ торжество;
торжественное собрание ~ функционировать, действовать;
выполнять функции ~ функционировать ~ мат. функция ~ функция, назначение ~ функция goal ~ целевая функция hashing ~ функция расстановки ill-behaved ~ нерегулярная функция illegal ~ вчт. запрещенная функция impure ~ вчт. функция с побочным эффектом intrinsic ~ вчт. встроенная функция inverse ~ обратная функция issuing ~ эмиссионная функция key ~ вчт. ключевая функция library ~ вчт. библиотечная функция likelihood ~ функция правдоподобия line ~ функция линейного подразделения linear utility ~ линейная функция полезности main ~ главная функция mapping ~ вчт. отображающая функция membership ~ функция принадлежности merit ~ оценочная функция nonlinear ~ нелинейная функция nonsale ~ обязанности, не связанные со сбытом nospread ~ вчт. специальная форма objective ~ вчт. целевая функция optimal decision ~ оптимальная решающая функция optimized ~ вчт. оптимизированная функция plotted ~ график функции polymorphic ~ вчт. полиморфная функция predefined ~ вчт. стандартная функция preference ~ функция предпочтения primary ~ первичная функция primitive recursive ~ вчт. примитивная рекурсивная функция processing ~ вчт. вычислительная функция processor defined ~ вчт. встроенная машинно-зависимая функция production ~ производственная функция purchasing ~ закупочная деятельность pure ~ вчт. функция без побочного эффекта ramp ~ вчт. телообразная функция ranking ~ функция ранжирования recording ~ функция учета recursive ~ рекурсивная функция regression ~ функция регрессии sales ~ отдел сбыта sales ~ торговый отдел sales ~ функция сбыта secretarial ~ должностные обязанности секретаря secretarial ~ круг обязанностей секретаря service ~ вчт. функция обслуживания shifting ~ вчт. функция сдвига shuffle ~ вчт. функция переключения signum ~ вчт. знаковая функция single-valued ~ однозначная функция staff ~ функции центрального аппарата предприятия state ~ государственная функция state ~ вчт. функция состояния statement ~ вчт. оператор -функция statistical decision ~ статистическая решающая функция stochastic ~ стохастическая функция storage ~ вчт. функция запоминания storage ~ вчт. функция хранения stream ~ вчт. потоковая функция supervising ~ контрольная функция supervisory ~ наблюдательная функция supply ~ функция предложения support ~ вчт. функция поддержки table ~ табличная функция tabulated ~ табличная функция target ~ вчт. целевая функция threshold ~ пороговая функция utility ~ вчт. утилита weight ~ весовая функцияБольшой англо-русский и русско-английский словарь > function
-
6 function
[ˈfʌnŋkʃən]address function вчт. адресная функция administrative function управленческая функция approximation function аппроксимирующая функция arithmetic function арифметическая функция array handling function вчт. функция обработки массивов as a function в качестве функции average sample number function функция среднего числа наблюдений belief function функция доверия blending function стыковочная функция Boolean function мат. булева функция buffer function согласующая функция buffer function функция буферного запаса built-in function вчт. встроенная функция built-in function стандартная функция bus resolution function вчт. функция разрешения шины circuit function вчт. схемная функция constraint function функция ограничений consumption function функция потребления convex function выпуклая функция covariance function функция ковариации criterion function оценочная функция criterion function целевая функция cumulative distribution function стат. интегральная функция распределения damped function затухающая функция decision function решающая функция degate function блокирующая функция demand function функция спроса driving function задающая функция dual function двойственная функция empiric distribution function эмпирическая функция распределения empiric function эмпирическая функция empirical distribution function эмпирическая функция распределения error function функция ошибок evaluation function оценочная функция exponential function экспоненциальная функция finance function финансовая служба fitled function эмпирическая функция fitted function подобранная функция fitted function эмпирическая функция frequency function плотность вероятности function разг. вечер, прием (часто public или social function) function действовать function (обыкн. pl) должностные обязанности function исполнять назначение function назначение function отправление (организма) function торжество; торжественное собрание function функционировать, действовать; выполнять функции function функционировать function мат. функция function функция, назначение function функция goal function целевая функция hashing function функция расстановки ill-behaved function нерегулярная функция illegal function вчт. запрещенная функция impure function вчт. функция с побочным эффектом intrinsic function вчт. встроенная функция inverse function обратная функция issuing function эмиссионная функция key function вчт. ключевая функция library function вчт. библиотечная функция likelihood function функция правдоподобия line function функция линейного подразделения linear utility function линейная функция полезности main function главная функция mapping function вчт. отображающая функция membership function функция принадлежности merit function оценочная функция nonlinear function нелинейная функция nonsale function обязанности, не связанные со сбытом nospread function вчт. специальная форма objective function вчт. целевая функция optimal decision function оптимальная решающая функция optimized function вчт. оптимизированная функция plotted function график функции polymorphic function вчт. полиморфная функция predefined function вчт. стандартная функция preference function функция предпочтения primary function первичная функция primitive recursive function вчт. примитивная рекурсивная функция processing function вчт. вычислительная функция processor defined function вчт. встроенная машинно-зависимая функция production function производственная функция purchasing function закупочная деятельность pure function вчт. функция без побочного эффекта ramp function вчт. телообразная функция ranking function функция ранжирования recording function функция учета recursive function рекурсивная функция regression function функция регрессии sales function отдел сбыта sales function торговый отдел sales function функция сбыта secretarial function должностные обязанности секретаря secretarial function круг обязанностей секретаря service function вчт. функция обслуживания shifting function вчт. функция сдвига shuffle function вчт. функция переключения signum function вчт. знаковая функция single-valued function однозначная функция staff function функции центрального аппарата предприятия state function государственная функция state function вчт. функция состояния statement function вчт. оператор -функция statistical decision function статистическая решающая функция stochastic function стохастическая функция storage function вчт. функция запоминания storage function вчт. функция хранения stream function вчт. потоковая функция supervising function контрольная функция supervisory function наблюдательная функция supply function функция предложения support function вчт. функция поддержки table function табличная функция tabulated function табличная функция target function вчт. целевая функция threshold function пороговая функция utility function вчт. утилита weight function весовая функция -
7 formula
1) рецепт2) формула || формульный3) формулировка•- arithmetically valid formula - back interpolation formula - computational formula - computing formula - corrector formula - formally decidable formula - formally refutable formula - formula of finite increments - geometrically valid formula - homomorphically stable formula - identically false formula - identically true formula - intuitionistically valid formula - logically valid formula - maximum likelihood formula - modally valid formula - monotonically increasing formula - numeralwise expressible formula - numeralwise representable formula - positively valid formula - primitively recursive formula - reciprocity formula - secondarily valid formula - square stable formula - universally valid formulato follow the formula — подчиняться [следовать] формуле; описываться формулой
-
8 group
1) группа, ансамбль || групповой- roughing mill group2) совокупность; комплект3) группировка || группировать(ся)5) класс; категория || классифицировать; категоризировать6) хим. остаток7) сгусток; скопление8) узел9) матем. группа- absolute free group - absolute homotopy group - absolutely irreducible group - absolutely simple group - additively written group - adele group - adelic group - algebraically compact group - algebraically simple group - almost connected group - almost cyclic group - almost ordered group - almost periodic group - almost simple group - alternating form group - cancellative group - cellular homology group - characteristically simple group - complementing group - completely anisotropic group - completely discontinuous group - completely divisible group - completely indecomposable group - completely integrally closed group - deficient group - direct homology group - direct indecomposable group - doubly transitive group - finitely defined group - finitely generated group - finitely presented group - finitely related group - first homology group - first homotopy group - freely generated group - full linear group - full orthogonal group - full rotation group - full symmetric group - full unimodular group - group of classes of algebras - group of covering transformations - group of finite rank - group of infinite order - group of infinite rank - group of inner automorphisms - group of linear equivalence - group of linear forms - group of linear manifold - group of principal ideles - group of real line - group of recursive permutations - group of right quotients - idele class group - linearly ordered group - linearly transitive group - locally bicompact group - locally closed group - locally compact group - locally connected group - locally cyclic group - locally defined group - locally embeddable group - locally finite group - locally free group - locally infinite group - locally nilpotent group - locally normal group - locally solvable group - multiply primitive group - multiply transitive group - nonsolvable group - n-th homotopy group - ordered pair group - principal congruence group - properly orthogonal group - properly unimodular group - pure projective group - pure rotation group - pure simple group - quasipure projective group - quotient divisible group - residually nilpotent group - restricted holonomy group - sharply transitive group - simply ordered group - simply reducible group - simply transitive group - singular cogomology group - singular homology group - solvable group - stable group - strictly transitive group - strongly polycyclic group - subsolvable group - supersolvable group - totally ordered group - totally projective group - totally reducible group - triply transitive group - unitary symmetry group - unitary transformation group - value group - weak homology group - weakly mixing groupgroup with multiple operators — группа с многоместными операторами, мультиоператорная группа
-
9 rule
1) правило, норма; норматив || устанавливать правила или нормы2) строит. прав'ило3) линейка || линовать, разлиновывать4) правление || управлять, руководить, командовать5) мат. закон6) графить, разграфлять•set closed under rule — множество, замкнутое относительно операции
- blind man's ruleto lay down the rule — формулировать [устанавливать] правило
- box rule- cut rule- em rule- slow-in- sum rule- three sigma rule -
10 sequence
1) очерёдность; порядок следования3) геол. стратиграфический разрез4) серия, комплекс•- absolutely divergent sequence - absolutely limited sequence - absolutely summable sequence - absolutely unbiased sequence - adjusted homology sequence - asymptotically convergent sequence - asymptotically isotropic sequence - asymptotically lattice sequence - compactly divergent sequence - completely reversible sequence - conditionally divergent sequence - decimal geometric sequence - delicately divergent sequence - discretely convergent sequence - essentially convergent sequence - essentially finite sequence - essentially periodic sequence - everywhere dense sequence - infinitely large sequence - infinitely proceeding sequence - infinitely small sequence - integral stationary sequence - inverse sequence - inverted sequence - linearly independent sequence - locally convergent sequence - metrically convergent sequence - metrically transitive sequence - monotonically decreasing sequence - monotonically increasing sequence - never increasing sequence - numerical sequence - projectively realizable sequence - properly divergent sequence - rapid acquisition sequence - rapidly decreasing sequence - rapidly increasing sequence - recursively defined sequence - recursively divergent sequence - recursively enumerable sequence - relatively compact sequence - sequence of prime numbers - sequence of principal indices - slowly decreasing sequence - slowly increasing sequence - slowly oscillating sequence - stochastically compact sequence - stochastically stable sequence - strictly increasing sequence - strictly measurable sequence - strictly monotonic sequence - strongly convergent sequence - strongly downward sequence - strongly stationary sequence - strongly summable sequence - totally increasing sequence - totally monotone sequence - two-taile sequence - two-way infinite sequence - unconditionally divergent sequence - uniformly divergent sequence - uniformly integrable sequence - weakly convergent sequence
См. также в других словарях:
Primitive recursive arithmetic — Primitive recursive arithmetic, or PRA, is a quantifier free formalization of the natural numbers. It was first proposed by Skolem [Thoralf Skolem (1923) The foundations of elementary arithmetic in Jean van Heijenoort, translator and ed. (1967)… … Wikipedia
Primitive recursive function — The primitive recursive functions are defined using primitive recursion and composition as central operations and are a strict subset of the recursive functions (recursive functions are also known as computable functions). The term was coined by… … Wikipedia
Recursive set — In computability theory, a set of natural numbers is called recursive, computable or decidable if there is an algorithm which terminates after a finite amount of time and correctly decides whether or not a given number belongs to the set. A more… … Wikipedia
Robinson arithmetic — In mathematics, Robinson arithmetic, or Q, is a finitely axiomatized fragment of Peano arithmetic (PA), first set out in Robinson (1950). Q is essentially PA without the axiom schema of induction. Even though Q is much weaker than PA, it is still … Wikipedia
Arbitrary-precision arithmetic — In computer science, arbitrary precision arithmetic indicates that calculations are performed on numbers whose digits of precision are limited only by the available memory of the host system. This contrasts with the faster fixed precision… … Wikipedia
Computability theory — For the concept of computability, see Computability. Computability theory, also called recursion theory, is a branch of mathematical logic that originated in the 1930s with the study of computable functions and Turing degrees. The field has grown … Wikipedia
Recursion theory — Recursion theory, also called computability theory, is a branch of mathematical logic that originated in the 1930s with the study of computable functions and Turing degrees. The field has grown to include the study of generalized computability… … Wikipedia
List of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… … Wikipedia
Outline of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… … Wikipedia
Gödel's incompleteness theorems — In mathematical logic, Gödel s incompleteness theorems, proved by Kurt Gödel in 1931, are two theorems stating inherent limitations of all but the most trivial formal systems for arithmetic of mathematical interest. The theorems are of… … Wikipedia
Dialectica interpretation — In proof theory, the Dialectica interpretation [1] is a proof interpretation of intuitionistic arithmetic (Heyting arithmetic) into a finite type extension of primitive recursive arithmetic, the so called System T. It was developed by Kurt Gödel… … Wikipedia
